The best books on contemporary mathematics for the philosophically inclined

Zalamea’s book is the perfect introduction and survey if you want to understand how developments in contemporary mathematics are relevant to current philosophy.

Zalamea’s own approach follows closely in the steps of Peirce, Lautman, and Grothendieck, merging pragmatism, dialectics, and sheaf theory, but he also engages the work of dozens of other key mathematicians and philosophers coming from different points of view, sometimes cursorily, always tantalizingly.

No philosopher can read this book without a quickened heartbeat and eager plans to clear shelf space for some of the many volumes of mathematics and philosophy of mathematics canvassed here by Zalamea.

From a strictly philosophical perspective, the emergence of category theory as a unifying paradigm rivaling set theory is probably the most important development in mathematics in the last half-century.

But for philosophers without a lot of mathematical background, learning even its rudiments can be daunting. Among many introductory texts (Lawvere and Schanuel, Awodey, Riehl, Spivak), Cheng’s book stands out as perhaps the friendliest and most accessible.

She does not forego rigor, but she isn’t afraid to put aside precise formalism when necessary for intuition and clearer understanding. Her book takes the reader from mathematical beginnings through category theory’s core constructions to glimpses of higher-order categories (one of Cheng’s areas of expertise).

A mathematically novice philosopher who wants to understand the basics of category theory couldn’t do better.

Far too many math books are written in a style so terse and ungenerous that all but the most mathematically gifted readers hardly have a fair chance of understanding.

On the other hand, the discursive style of much philosophy of mathematics gains readability at the expense of formal rigor. Button and Walsh strike the perfect balance in this exceptionally rich introduction to model theory from a distinctively philosophical perspective.

There’s no getting around the fact that the mathematics of model theory is hard going. But this book works through all the relevant proofs in clear and detailed terms (no lazy “we leave this as an exercise for the reader”), and the authors are always careful to motivate each section with well-chosen philosophical concerns right up front.

An Everest, but worth it.

The Univalent Foundations program in foundations of mathematics launched by Voevodsky and others in the past decade and a half has contributed to a promising new paradigm unifying computation, mathematics, logic, and proof theory.

Understanding the core elements of this research program, Homotopy Type Theory, is essential for contemporary philosophers who want to engage directly with current developments in mathematics and computer science.

Corfield is a well-established name in philosophy of mathematics, and this book is the best introduction to Homotopy Type Theory for philosophers.

Working within themes and problematics that will be familiar to philosophers with a basic background in logic, Corfield covers the elementary constructions of homotopy types from a logical point of view and provides plenty of provocative suggestions for how these formal tools might reinvigorate philosophical research today.

Sometimes a book is not just brilliant and thought-provoking but just plain fun.

Scott Aaronson’s Quantum Computing Since Democritus provides a broad overview of philosophical issues arising from computational theory, cryptography, quantum mechanics, and quantum computing. Its style is crisp, clear, and conversational.

It’s the kind of book that can be read a first time briskly for the sheer excitement of it and then a second time with attention to all the details for consistent Eureka! moments of philosophical insight. Fascinating material and an excellent presentation.